operating system kernel - Spanisch Englisch Wörterbuch